Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
921	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
922	JFP 19 (2): 173–190, [removed]c 2009 Cambridge University Press 173 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-03-09 07:00:56 Combinatorics Software engineering Symbol String Regular language Regular expression Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
923	Text Analytics for BI/DW Practitioners Seth Grimes Alta Plana Corporation[removed]http://altaplana.com Add to Reading List Source URL: altaplana.com Language: English - Date: 2008-07-17 09:13:53 Data analysis Business Formal sciences Natural language processing Statistical natural language processing Text analytics Analytics Business analytics Unstructured data Business intelligence Statistics Data management
924	40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2014-04-04 08:14:48 Software engineering Vienna Development Method Formal specification B-Method Specification language Software development methodology Dines Bjørner Software development process Static program analysis Formal methods Computing Software development
925	• Elder Research, Inc. Charlottesville, VA Washington, DC Manhasset, NY Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-03-06 18:49:46 Data analysis Data mining Artificial intelligence Formal sciences Business intelligence Text mining STATISTICA Document classification Analytics Science Statistics Natural language processing
926	Submission to DIMA in response to the discussion paper suggesting the introduction of a formal citizenship test Summary We argue that Australia should not introduce a formal citizenship test. To begin with, a formal citi Add to Reading List Source URL: www.languageonthemove.com Language: English - Date: 2011-06-30 04:05:41 Canadian nationality law English as a foreign or second language Citizenship Naturalization Australian citizenship test IELTS Nationality law Nationality Australian nationality law
927	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
928	The Word on Text Mining Seth Grimes Alta Plana Corporation[removed]http://altaplana.com Portals, Collaboration, and Content Management April 14, 2005 Add to Reading List Source URL: altaplana.net Language: English - Date: 2015-01-14 12:59:27 Data management Data mining Formal sciences Business intelligence Natural language processing Text mining Analytics Knowledge discovery STATISTICA Statistics Science Data analysis
929	BBC Learning English Quiznet Formal letters vocabulary 1. Which of the following is used to start a very formal letter? a) Dear John b) Hi Suzy Add to Reading List Source URL: wsdownload.bbc.co.uk Language: English - Date: 2011-06-09 07:27:01 Formal language Human communication Culture Human behavior Valediction Writing Letter
930	Invited contribution: Joint Session of Mind Association and Aristotelian Society July 1986 Reply was presented by L.J.Cohen, Oxford. Both published in Proceedings of the Aristotelian Society, Supplementary Volume LX, 198 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-08-29 04:45:17 Philosophy of language Formal languages Logical syntax Semantics Metalogic Interpretation Symbol Proposition Cognitive science Logic Linguistics Science

UPDATE